dimension axiom

维数公理